Concurrent computation model is one of the most important problems in theoretical computer science. 并发计算模型是计算机科学研究的重要问题之一。
Meta Model of Concurrent Computation ⅲ. Bisimulation Lattice 并发计算的元模型Ⅲ.互模拟格
Meta Model of Concurrent Computation V. Relating Models 并发计算的元模型Ⅴ.并发模型间的关系
This system supports concurrent visualization with computation and outputs a simplified small graphic primitive set, which can be displayed by a small basic viewer on clients. 可支持计算和可视化在计算服务器上同时进行,并可将可视化结果&可视的图形元素简化后输出到用户端进行显示.在原始的菝葜叶铁线莲亚组subsect。
χ Calculus& A New Model for Concurrent Computation 一新型移动进程模型&χ-演算
Meanwhile, the intrinsic complexity of concurrent distributed computation makes the investigation and development of concurrent distributed system very difficult, and the correctness and dependability of such kind of system is too difficult to be assured. 与此同时,并发计算本身固有的复杂性,使得并发系统的研究和开发非常困难,系统的正确性和可靠性难以得到保证。
A Telescopic Approach to Concurrent Computation on a Multiple Grid 在多重网格上同时计算的叠缩法
The paper discusses the faithfulness of the behavior of concurrent programs based on interleaved computation modes. 讨论基于交替计算模式的并发程序执行行为的可信性问题。
The Web-Based Java Concurrent Computation 基于Web的Java并行计算
Meta Model of Concurrent Computation ⅳ. Axiomatization 并发计算的元模型Ⅳ.公理化
Linear Logic, Petri Nets and Concurrent Computation 线性逻辑、Petri网和并发计算
Meta Model of Concurrent Computation ⅰ. Graph Model 并发计算的元模型Ⅰ.图模型
It describes the asynchronous and concurrent phenomenon effectively. With the development of the concurrent computation and distributed system, Petri nets was used widely. Petri网是描述异步并发现象的有力工具,随着并行计算和分布式系统的发展,已应用到了越来越多的领域。
Concurrency theory studies the phenomenon of concurrent computation in which many distributed computing agents participate in a common computation task and cooperate with each other by exchanging message ( Communication). 并发理论研究并发现象,即多个独立运行的计算主体(进程)相互间通过交换信息(通信)实现协作,以共同完成预定的任务的计算现象。